RepUnfolds ``equiv\_rel refl`` 7